1. Advanced R
پدیدآورنده : Hadley Wickham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
2. Advances in computers
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Computers.,Electronic data processing.
رده :
QA76
.
A3810
1970eb
3. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987
پدیدآورنده : Casimir A. Kulikowski, Huber, Gabriel A. Ferrate
کتابخانه: (طهران)
موضوع : Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65I46
1987
4. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
5. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
6. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
7. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده : Asperti, Andrea
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991
8. Combinatorial complexes: a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H
موضوع : ، Electronic digital computers- Programming,، Programming languages )electronic computers(,، Algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H.
کتابخانه: (طهران)
موضوع : ، Computer programming,، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
6
.
S448
10. Computer mathods in mathematics
پدیدآورنده : Albrecht, Robert L
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic data procssing - Mathematics,، Elecctronic Calculating machines,، programming languages ) Electronic computers(
رده :
QA
76
.
5
.
A368
11. Computer methods in mathematics
پدیدآورنده : / Robert L. Albrecht, Eric Lindberg, Walter Mara. Reading
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic data processing - Mathematics,Computers,Programming languages (Electronic computers)
رده :
510
.
18
A341c
12. Computer methods in mathematics
پدیدآورنده : Albrecht, Bob
کتابخانه: (طهران)
موضوع : ، Mathematics -- Data processing,، Computers,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
A368
13. Computer programming and autocodes
پدیدآورنده : / D. G. Burnett-Hall, L. A. G. Dresel, P. A. Samet
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
642
B964c
14. Computer science reader :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
24
C667
2013
15. Domain-theoretic foundations of functional programming
پدیدآورنده : / Thomas Streicher
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
16. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
17. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
18. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
پدیدآورنده : Jouko Vaananen )ed.(
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
19. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
20. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده : edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: (طهران)
موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
